Incremental Classification of Description Logics Ontologies
نویسندگان
چکیده
منابع مشابه
Ontologies and Description Logics
Ontologies and Description Logics (DLs). Why putting them in a single chapter for this document devoted to AI research in Italy? Well, a good reason is that both research areas originated from a single, classic mainstream in AI: logic-based knowledge representation (KR). Indeed, starting from the late 80s, Italian researchers brought a radical contribution to the formal understanding of so-call...
متن کاملDescription Logics for Ontologies
Description logics (DLs) [6, 8, 21] are a family of logic-based knowledge representation formalisms designed to represent and reason about the knowledge of an application domain in a structured and well-understood way. The basic notions in DLs are concepts (unary predicates) and roles (binary relations), and a specific DL is mainly characterised by the constructors it provides to form complex c...
متن کاملComputing Horn Rewritings of Description Logics Ontologies
We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn DL L2 such that O1 and O2 are equisatisfiable when extended with an arbitrary dataset. Ontologies that admit such rewritings are amenable to reasoning techniques ensuring tractability in data complexity. After showing undecidability whenever L1 extends ALCF , we focus on devising efficiently chec...
متن کاملTowards Distributed Ontologies with Description Logics
– Two distinct applications may use two different ontologies to refer to the same concept. Thanks to mapping between these ontologies, association of these concepts can be derived. – One particular application (e.g., a semantic annotation of a document) can use different ontologies to refer to two distinct concepts. These concepts, may be related by mapping, and so further semantic consequences...
متن کاملCognition, Ontologies and Description Logics Contents
This report describes work undertaken and planned, the goal of which is to better understand how people comprehend and use complex ontologies, in particular those employing Description Logics (DLs). Two research questions are posed: 1. In what way can the difficulties experienced in using Description Logics be understood in terms of an underlying theory, e.g. theories of reasoning already devel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 2010
ISSN: 0168-7433,1573-0670
DOI: 10.1007/s10817-009-9159-0